|
''The Method of Mechanical Theorems'' ((ギリシア語:Περὶ μηχανικῶν θεωρημάτων πρὸς Ἐρατοσθένη ἔφοδος)), also referred to as ''The Method'', is one of the major surviving works of Archimedes of Syracuse. ''The Method'' takes the form of a letter from Archimedes to Eratosthenes, the chief librarian at the Library of Alexandria, and contains the first attested explicit use of ''indivisibles'' (sometimes referred to as infinitesimals).〔Netz, Reviel; Saito, Ken; Tchernetska, Natalie: A new reading of Method Proposition 14: preliminary evidence from the Archimedes palimpsest. I. SCIAMVS 2 (2001), 9–29.〕 The work was originally thought to be lost, but in 1906 was rediscovered in the celebrated Archimedes Palimpsest. The palimpsest includes Archimedes' account of the "mechanical method", so-called because it relies on the law of the lever, which was first demonstrated by Archimedes, and of the center of gravity, which he had found for many special cases. Archimedes did not admit infinitesimals as part of rigorous mathematics, and therefore did not publish his method in the formal treatises that contain the results. In these treatises, he proves the same theorems by exhaustion, finding rigorous upper and lower bounds which both converge to the answer required. Nevertheless, the mechanical method was what he used to discover the relations for which he later gave rigorous proofs. == Area of a parabola == To explain Archimedes' method today, it is convenient to make use of a little bit of Cartesian geometry, although this of course was unavailable at the time. His idea is to use the law of the lever to determine the areas of figures from the known center of mass of other figures. The simplest example in modern language is the area of the parabola. Archimedes uses a more elegant method, but in Cartesian language, his method is calculating the integral : which can easily be checked nowadays using elementary integral calculus. The idea is to mechanically balance the parabola (the curved region being integrated above) with a certain triangle that is made of the same material. The parabola is the region in the ''x''-''y'' plane between the ''x''-axis and ''y'' = ''x''2 as ''x'' varies from 0 to 1. The triangle is the region in the ''x''-''y'' plane between the ''x''-axis and the line ''y'' = ''x'', also as ''x'' varies from 0 to 1. Slice the parabola and triangle into vertical slices, one for each value of ''x''. Imagine that the ''x''-axis is a lever, with a fulcrum at ''x'' = 0. The law of the lever states that two objects on opposite sides of the fulcrum will balance if each has the same torque, where an object's torque equals its mass times its distance to the fulcrum. For each value of ''x'', the slice of the triangle at position x has a mass equal to its height ''x'', and is at a distance ''x'' from the fulcrum; so it would balance the corresponding slice of the parabola, of height ''x''2, if the latter were moved to ''x'' = −1, at a distance of 1 on the other side of the fulcrum. Since each pair of slices balances, moving the whole parabola to ''x'' = −1 would balance the whole triangle. This means that if the original uncut parabola is hung by a hook from the point ''x'' = −1 (so that the whole mass of the parabola is attached to that point), it will balance the triangle sitting between ''x'' = 0 and ''x'' = 1. The center of mass of a triangle can be easily found by the following method, also due to Archimedes. If a median line is drawn from any one of the vertices of a triangle to the opposite edge ''E'', the triangle will balance on the median, considered as a fulcrum. The reason is that if the triangle is divided into infinitesimal line segments parallel to ''E'', each segment has equal length on opposite sides of the median, so balance follows by symmetry. This argument can be easily made rigorous by exhaustion by using little rectangles instead of infinitesimal lines, and this is what Archimedes does in On the Equilibrium of Planes. So the center of mass of a triangle must be at the intersection point of the medians. For the triangle in question, one median is the line ''y'' = ''x''/2, while a second median is the line ''y'' = 1 − ''x''. Solving these equations, we see that the intersection of these two medians is above the point ''x'' = 2/3, so that the total effect of the triangle on the lever is as if the total mass of the triangle were pushing down on (or hanging from) this point. The total torque exerted by the triangle is its area, 1/2, times the distance 2/3 of its center of mass from the fulcrum at ''x'' = 0. This torque of 1/3 balances the parabola, which is at a distance -1 from the fulcrum. Hence, the area of the parabola must be 1/3 to give it the opposite torque. This type of method can be used to find the area of an arbitrary section of a parabola, and similar arguments can be used to find the integral of any power of ''x'', although higher powers become complicated without algebra. Archimedes only went as far as the integral of ''x''3, which he used to find the center of mass of a hemisphere, and in other work, the center of mass of a parabola. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「The Method of Mechanical Theorems」の詳細全文を読む スポンサード リンク
|